[next] [prev] [prev-tail] [tail] [up]

2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 126 167 0 0 0 0 -1

N.S.

1 1.00 0.95 1.27 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.184 0.132 0.365 0.000 0.000 0.000 0.000 0.000

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 71 79 81 106 75 1032 70

N.S.

1 1.00 1.08 1.20 1.23 1.61 1.14 15.64 1.06

time (sec)

N/A 0.058 0.041 0.010 0.501 1.715 2.440 0.568 0.357

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 104 201 0 0 0 0 -1

N.S.

1 1.00 0.87 1.69 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.165 0.085 0.820 0.000 0.000 0.000 0.000 0.000

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 109 120 121 125 168 424 -1

N.S.

1 1.00 1.28 1.41 1.42 1.47 1.98 4.99 -0.01

time (sec)

N/A 0.065 0.037 0.010 0.474 1.197 3.208 121.536 0.000

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 187 339 314 216 415 598 -1

N.S.

1 1.00 0.78 1.41 1.30 0.90 1.72 2.48 -0.00

time (sec)

N/A 0.234 0.142 0.141 0.486 1.499 1.743 0.418 0.000

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 190 303 284 214 382 498 -1

N.S.

1 1.00 0.79 1.26 1.18 0.89 1.59 2.07 -0.00

time (sec)

N/A 0.181 0.115 0.134 0.470 1.214 1.132 0.443 0.000

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 158 279 253 185 333 429 -1

N.S.

1 1.00 0.80 1.41 1.28 0.93 1.68 2.17 -0.01

time (sec)

N/A 0.164 0.117 0.141 0.501 1.639 0.868 0.412 0.000

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 159 264 223 181 299 350 -1

N.S.

1 1.00 0.87 1.44 1.22 0.99 1.63 1.91 -0.01

time (sec)

N/A 0.131 0.105 0.128 0.474 1.136 0.697 0.417 0.000

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 125 209 182 149 240 265 -1

N.S.

1 1.00 0.83 1.39 1.21 0.99 1.60 1.77 -0.01

time (sec)

N/A 0.103 0.099 0.093 0.479 0.944 0.365 0.439 0.000

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 218 262 0 0 0 0 -1

N.S.

1 1.00 0.95 1.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.236 0.216 0.309 0.000 0.000 0.000 0.000 0.000

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 129 168 151 170 167 4243 -1

N.S.

1 1.00 1.02 1.33 1.20 1.35 1.33 33.67 -0.01

time (sec)

N/A 0.131 0.105 0.109 0.476 1.066 3.419 1.916 0.000

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 184 281 0 0 0 0 -1

N.S.

1 1.00 0.99 1.52 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.247 0.260 0.797 0.000 0.000 0.000 0.000 0.000

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 140 156 159 181 218 2534 -1

N.S.

1 1.00 1.11 1.24 1.26 1.44 1.73 20.11 -0.01

time (sec)

N/A 0.146 0.126 0.105 0.508 3.085 4.196 1.556 0.000

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

341 341 271 497 463 313 631 943 -1

N.S.

1 1.00 0.79 1.46 1.36 0.92 1.85 2.77 -0.00

time (sec)

N/A 0.309 0.197 0.138 0.487 2.720 3.759 0.431 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

380 380 276 449 423 312 597 807 -1

N.S.

1 1.00 0.73 1.18 1.11 0.82 1.57 2.12 -0.00

time (sec)

N/A 0.355 0.169 0.131 0.500 2.215 2.731 0.437 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 231 417 382 270 525 711 -1

N.S.

1 1.00 0.80 1.45 1.33 0.94 1.83 2.48 -0.00

time (sec)

N/A 0.262 0.155 0.142 0.499 2.398 1.688 0.420 0.000

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 258 232 376 342 267 483 597 -1

N.S.

1 1.00 0.90 1.46 1.33 1.03 1.87 2.31 -0.00

time (sec)

N/A 0.197 0.139 0.128 0.497 1.804 1.203 0.425 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 187 325 290 222 389 480 -1

N.S.

1 1.00 0.83 1.44 1.29 0.99 1.73 2.13 -0.00

time (sec)

N/A 0.183 0.133 0.089 0.492 1.061 0.774 0.427 0.000

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

357 357 322 391 0 0 0 0 -1

N.S.

1 1.00 0.90 1.10 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.335 0.331 0.280 0.000 0.000 0.000 0.000 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 183 264 239 232 272 10769 -1

N.S.

1 1.00 0.96 1.39 1.26 1.22 1.43 56.68 -0.01

time (sec)

N/A 0.189 0.143 0.097 0.482 2.318 4.708 11.476 0.000

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 262 396 0 0 0 0 -1

N.S.

1 1.00 1.00 1.51 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.559 0.255 0.494 0.000 0.000 0.000 0.000 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 194 249 229 249 309 7971 -1

N.S.

1 1.00 1.04 1.34 1.23 1.34 1.66 42.85 -0.01

time (sec)

N/A 0.231 0.181 0.100 0.504 1.898 5.779 8.063 0.000

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 260 465 420 307 593 766 -1

N.S.

1 1.00 0.82 1.47 1.32 0.97 1.87 2.42 -0.00

time (sec)

N/A 0.244 0.172 0.098 0.482 2.302 1.573 0.420 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

653 653 515 394 0 0 0 0 -1

N.S.

1 1.00 0.79 0.60 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.775 0.571 12.527 0.000 0.000 0.000 0.000 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

559 559 475 2912 0 0 0 0 -1

N.S.

1 1.00 0.85 5.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.634 0.256 0.956 0.000 0.000 0.000 0.000 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

579 579 456 300 0 0 0 0 -1

N.S.

1 1.00 0.79 0.52 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.633 0.226 2.021 0.000 0.000 0.000 0.000 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

491 491 399 2789 0 0 0 0 -1

N.S.

1 1.00 0.81 5.68 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.515 0.097 0.266 0.000 0.000 0.000 0.000 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

541 541 490 243 0 0 0 0 -1

N.S.

1 1.00 0.91 0.45 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.525 0.302 0.137 0.000 0.000 0.000 0.000 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

518 518 441 352 0 0 0 0 -1

N.S.

1 1.00 0.85 0.68 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.654 0.482 0.371 0.000 0.000 0.000 0.000 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

579 579 455 369 0 0 0 0 -1

N.S.

1 1.00 0.79 0.64 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.651 0.220 1.451 0.000 0.000 0.000 0.000 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

573 573 483 446 0 0 0 0 -1

N.S.

1 1.00 0.84 0.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.667 1.473 0.457 0.000 0.000 0.000 0.000 0.000

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

649 649 531 488 0 0 0 0 -1

N.S.

1 1.00 0.82 0.75 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.697 0.248 1.354 0.000 0.000 0.000 0.000 0.000

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

574 574 593 2962 0 0 0 0 -1

N.S.

1 1.00 1.03 5.16 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.702 0.741 0.872 0.000 0.000 0.000 0.000 0.000

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 83 87 418 0 417 0 0 -1

N.S.

1 0.97 1.01 4.86 0.00 4.85 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.099 2.125 0.000 2.029 0.000 0.000 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F F F(-1) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

597 597 0 488 0 0 0 0 -1

N.S.

1 1.00 0.00 0.82 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.724 2.314 0.461 0.000 0.000 0.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F F F(-1) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

632 632 0 694 0 0 0 0 -1

N.S.

1 1.00 0.00 1.10 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.738 3.851 0.536 0.000 0.000 0.000 0.000 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

787 787 649 1765 0 0 0 0 -1

N.S.

1 1.00 0.82 2.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.474 1.001 8.150 0.000 0.000 0.000 0.000 0.000

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

745 745 603 1698 0 0 0 0 -1

N.S.

1 1.00 0.81 2.28 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.392 0.768 1.738 0.000 0.000 0.000 0.000 0.000

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

757 757 591 1706 0 0 0 0 -1

N.S.

1 1.00 0.78 2.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.704 1.142 3.223 0.000 0.000 0.000 0.000 0.000

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

795 795 672 1839 0 0 0 0 -1

N.S.

1 1.00 0.85 2.31 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.436 0.980 6.029 0.000 0.000 0.000 0.000 0.000

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

705 705 973 5185 0 0 0 0 -1

N.S.

1 1.00 1.38 7.35 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.798 4.612 6.320 0.000 0.000 0.000 0.000 0.000

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 152 1060 0 939 0 0 -1

N.S.

1 1.00 0.99 6.93 0.00 6.14 0.00 0.00 -0.01

time (sec)

N/A 0.144 0.356 0.108 0.000 2.459 0.000 0.000 0.000

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 141 1021 0 793 0 0 -1

N.S.

1 1.00 1.06 7.68 0.00 5.96 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.393 0.115 0.000 8.009 0.000 0.000 0.000

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F F F(-1) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

727 727 0 1373 0 0 0 0 -1

N.S.

1 1.00 0.00 1.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.816 4.694 0.668 0.000 0.000 0.000 0.000 0.000

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F F(-1) F(-1) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

783 783 0 1820 0 0 0 0 -1

N.S.

1 1.00 0.00 2.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.857 6.325 0.678 0.000 0.000 0.000 0.000 0.000

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1082 1082 1014 3126 0 0 0 0 -1

N.S.

1 1.00 0.94 2.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.413 3.969 8.032 0.000 0.000 0.000 0.000 0.000

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1092 1092 1014 2278 0 0 0 0 -1

N.S.

1 1.00 0.93 2.09 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.827 4.245 4.095 0.000 0.000 0.000 0.000 0.000

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1092 1092 1033 3127 0 0 0 0 -1

N.S.

1 1.00 0.95 2.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.880 4.161 1.897 0.000 0.000 0.000 0.000 0.000

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.014 3.768 1.316 0.000 0.000 0.000 0.000 0.000

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.015 3.087 0.961 0.000 0.000 0.000 0.000 0.000

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 74 0 0 142 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 2.03 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.075 0.819 0.000 2.175 0.000 0.000 0.000

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 190 0 0 333 0 0 -1

N.S.

1 1.00 1.30 0.00 0.00 2.28 0.00 0.00 -0.01

time (sec)

N/A 0.107 0.156 0.837 0.000 1.719 0.000 0.000 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

226 226 188 0 0 660 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 2.92 0.00 0.00 -0.00

time (sec)

N/A 0.575 0.267 0.822 0.000 3.090 0.000 0.000 0.000

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

484 455 0 0 0 0 0 0 -1

N.S.

1 0.94 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.601 5.190 18.968 0.000 0.000 0.000 0.000 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

293 272 2792 0 0 0 0 0 -1

N.S.

1 0.93 9.53 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.306 5.564 8.006 0.000 0.000 0.000 0.000 0.000

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 148 508 0 0 0 0 0 -1

N.S.

1 0.92 3.16 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.134 1.397 3.323 0.000 0.000 0.000 0.000 0.000

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.043 7.178 1.845 0.000 0.000 0.000 0.000 0.000

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.041 9.672 0.879 0.000 0.000 0.000 0.000 0.000

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

569 569 445 1194 695 537 989 1242 -1

N.S.

1 1.00 0.78 2.10 1.22 0.94 1.74 2.18 -0.00

time (sec)

N/A 0.651 0.342 0.348 0.518 2.246 1.279 0.488 0.000

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 291 635 437 342 595 683 -1

N.S.

1 1.00 0.87 1.90 1.30 1.02 1.78 2.04 -0.00

time (sec)

N/A 0.385 0.237 0.147 0.537 2.298 0.705 0.429 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 166 276 225 183 279 285 -1

N.S.

1 1.00 1.06 1.77 1.44 1.17 1.79 1.83 -0.01

time (sec)

N/A 0.190 0.127 0.088 0.565 2.674 0.360 0.413 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 72 72 65 82 75 142

N.S.

1 1.00 1.00 1.53 1.53 1.38 1.74 1.60 3.02

time (sec)

N/A 0.045 0.031 0.066 0.468 2.826 0.098 0.426 0.533

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

821 821 1101 0 0 0 0 0 -1

N.S.

1 1.00 1.34 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.933 0.531 1.089 0.000 0.000 0.000 0.000 0.000

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.025 10.727 0.751 0.000 0.000 0.000 0.000 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.025 8.738 0.744 0.000 0.000 0.000 0.000 0.000

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.029 3.043 0.838 0.000 0.000 0.000 0.000 0.000

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.026 6.922 0.710 0.000 0.000 0.000 0.000 0.000

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 387 253 310 0 0 0 633 -1

N.S.

1 1.00 0.65 0.80 0.00 0.00 0.00 1.64 -0.00

time (sec)

N/A 0.528 0.384 0.179 0.000 0.000 0.000 0.468 0.000

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 125 142 0 0 0 229 -1

N.S.

1 1.00 0.70 0.79 0.00 0.00 0.00 1.28 -0.01

time (sec)

N/A 0.223 0.172 0.063 0.000 0.000 0.000 0.435 0.000

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 44 48 0 0 0 49 -1

N.S.

1 1.00 0.83 0.91 0.00 0.00 0.00 0.92 -0.02

time (sec)

N/A 0.046 0.021 0.063 0.000 0.000 0.000 0.412 0.000

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.024 0.502 0.947 0.000 0.000 0.000 0.000 0.000

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.023 2.313 3.223 0.000 0.000 0.000 0.000 0.000

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 0.799 0.408 0.000 0.000 0.000 0.000 0.000

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.030 0.793 0.424 0.000 0.000 0.000 0.000 0.000

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.032 1.100 0.395 0.000 0.000 0.000 0.000 0.000

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.033 2.691 0.422 0.000 0.000 0.000 0.000 0.000

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

498 498 359 795 0 0 0 2337 -1

N.S.

1 1.00 0.72 1.60 0.00 0.00 0.00 4.69 -0.00

time (sec)

N/A 0.513 1.300 0.427 0.000 0.000 0.000 0.486 0.000

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 191 367 0 0 0 891 -1

N.S.

1 1.00 0.77 1.47 0.00 0.00 0.00 3.58 -0.00

time (sec)

N/A 0.267 0.630 0.210 0.000 0.000 0.000 0.459 0.000

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 72 76 0 0 0 192 -1

N.S.

1 1.00 0.84 0.88 0.00 0.00 0.00 2.23 -0.01

time (sec)

N/A 0.110 0.124 0.067 0.000 0.000 0.000 0.438 0.000

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.024 13.724 1.105 0.000 0.000 0.000 0.000 0.000

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.022 35.858 3.622 0.000 0.000 0.000 0.000 0.000

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 4.908 0.417 0.000 0.000 0.000 0.000 0.000

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.029 8.504 0.434 0.000 0.000 0.000 0.000 0.000

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.032 18.605 0.412 0.000 0.000 0.000 0.000 0.000

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.031 35.552 0.408 0.000 0.000 0.000 0.000 0.000

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

754 754 400 1155 0 0 0 3216 -1

N.S.

1 1.00 0.53 1.53 0.00 0.00 0.00 4.27 -0.00

time (sec)

N/A 1.504 0.958 0.797 0.000 0.000 0.000 1.664 0.000

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

369 369 244 555 0 0 0 1661 -1

N.S.

1 1.00 0.66 1.50 0.00 0.00 0.00 4.50 -0.00

time (sec)

N/A 0.640 0.352 0.386 0.000 0.000 0.000 1.195 0.000

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 119 187 0 0 0 531 -1

N.S.

1 1.00 0.99 1.56 0.00 0.00 0.00 4.42 -0.01

time (sec)

N/A 0.162 0.073 0.015 0.000 0.000 0.000 0.624 0.000

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 6.585 0.793 0.000 0.000 0.000 0.000 0.000

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.031 13.555 1.592 0.000 0.000 0.000 0.000 0.000

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

482 482 873 850 0 0 0 2814 -1

N.S.

1 1.00 1.81 1.76 0.00 0.00 0.00 5.84 -0.00

time (sec)

N/A 0.948 8.703 0.472 0.000 0.000 0.000 1.757 0.000

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 291 278 0 0 0 993 -1

N.S.

1 1.00 1.83 1.75 0.00 0.00 0.00 6.25 -0.01

time (sec)

N/A 0.182 1.867 0.000 0.000 0.000 0.000 1.058 0.000

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.038 2.255 0.760 0.000 0.000 0.000 0.000 0.000

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 7.139 1.615 0.000 0.000 0.000 0.000 0.000

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

679 679 401 664 0 0 0 975 -1

N.S.

1 1.00 0.59 0.98 0.00 0.00 0.00 1.44 -0.00

time (sec)

N/A 0.982 0.989 0.572 0.000 0.000 0.000 0.838 0.000

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

329 329 246 310 0 0 0 481 -1

N.S.

1 1.00 0.75 0.94 0.00 0.00 0.00 1.46 -0.00

time (sec)

N/A 0.417 0.359 0.304 0.000 0.000 0.000 0.692 0.000

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 121 90 0 0 0 159 -1

N.S.

1 1.00 1.20 0.89 0.00 0.00 0.00 1.57 -0.01

time (sec)

N/A 0.069 0.067 0.040 0.000 0.000 0.000 0.459 0.000

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 0.099 0.783 0.000 0.000 0.000 0.000 0.000

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 0.057 1.411 0.000 0.000 0.000 0.000 0.000

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

394 394 417 460 0 0 0 0 -1

N.S.

1 1.00 1.06 1.17 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.506 0.699 0.406 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]